1. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: (طهران)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
3. Algorithms and complexity : new directions and recent results
پدیدآورنده : edited by J. F. Traub
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
رده :
QA
76
.
6
.
S98
1976
4. An introduction to SAGE programming
پدیدآورنده : \ Razvan A. Mezei, Lenoir-Rhyne University, Donald & Helen Schort School of Mathematics and Computing Sciences, Hickory, NC, USA.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics-- Data processing.,Numerical analysis-- Data processing.,Computer programming.,ریاضیات -- دادهپردازی
رده :
QA76
.
95
.
M486
2016
E-Book
,
5. An introduction to SAGE programming :
پدیدآورنده : Razvan A. Mezei
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : SageMath.,Computer programming.,Mathematics-- Data processing.,Numerical analysis-- Data processing.
رده :
QA76
.
95
6. Beginning math and physics for game programmers
پدیدآورنده : / Wendy Stahler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
7. Box2d for Flash games
پدیدآورنده : Emanuele Feronato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing
رده :
QA76
.
76
.
C672
P36
2012
8. Calculating with Fortran
پدیدآورنده : Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
9. Categories and computer science
پدیدآورنده : Walters, R. F. C.
کتابخانه: (طهران)
موضوع : Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
10. Categories and computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Data processing ; Computer programming ;
11. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
12. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
موضوع : Categories (Mathematics)- Data processing,Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems
پدیدآورنده : Art Lew
موضوع : Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Computer science with Mathematica
پدیدآورنده : Roman E. Maeder
موضوع : Mathematica (Computer file),Mathematics, Data processing,Mathematica (Computer programming language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computer science with Mathematica
پدیدآورنده : / Roman E. Maeder
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
16. Computer science with Mathematica : theory and practice for science, mathematics, and engineering
پدیدآورنده : / Roman E. Maeder.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematica (Computer file),Mathematics -- Data processing.,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
17. Computer science with Mathematica: theory and practice for science, mathematics, and engineering
پدیدآورنده : Maeder, Roman
موضوع : ، Mathematics-- Data processing,، Mathematica )Computer programming language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Fortran codes for mathematical programming : linear, quadratic and discrete
پدیدآورنده : Land, Ailsa H
کتابخانه: (طهران)
موضوع : Data processing ، Programming )Mathematics(,، FORTRAN )Computer program language(
رده :
QA
402
.
5
.
L33
19. From problem to program
پدیدآورنده : Wardle, Michael E.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer programming,، Mathematics - Data processing
رده :
QA
76
.
6
.
W35
1972
20. How to solve it by computer
پدیدآورنده : Dromey, R.G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
رده :
QA
76
.
95
.
D76
1982